Sequential logic

Results: 80



#Item
71VHDL / Verilog / LEON / Parallel computing / Digital electronics / Sequential logic / Dataflow / Flip-flop / SIGNAL / Electronic engineering / Hardware description languages / Electronics

Fault-tolerant Microprocessors for Space Applications 5

Add to Reading List

Source URL: www.gaisler.com

Language: English - Date: 2012-07-17 10:32:05
72Clock signal / Digital electronics / Electrical circuits / Synchronization / Asynchronous system / Flip-flop / Asynchronous circuit / Delay insensitive circuit / Sequential logic / Electronic engineering / Electronics / Electromagnetism

Synchronization in Asynchronously Communicating Digital Systems Priyadharshini Shanmugasundaram

Add to Reading List

Source URL: www.eng.auburn.edu

Language: English - Date: 2010-05-02 22:04:06
73Electromagnetism / Flip-flop / Asynchronous system / Delay insensitive circuit / Sequential logic / Asynchronous circuit / Hazard / Synchronous circuit / Clock signal / Electronic engineering / Digital electronics / Electronics

Proceedings of the IEEE, Vol. 83, No. 1, pp[removed], January, [removed]Asynchronous Design Methodologies: An Overview

Add to Reading List

Source URL: www.ee.washington.edu

Language: English - Date: 2000-02-07 20:17:32
74Industrial automation / Electronic design automation / Automation / Electric power / Cross-platform software / IEC 61131-3 / IEC 61131 / Ladder logic / Sequential function chart / Computing / Technology / Software engineering

PLCopen for efficiency in automation

Add to Reading List

Source URL: www.plcopen.org

Language: English - Date: 2013-10-16 06:47:57
75Quantification / Higher-order functions / Predicate logic / Monad / Fold / Function / FO / Continuous function / Combinatory logic / Mathematics / Mathematical logic / Logic

What Sequential Games, the Tychonoff Theorem and the Double-Negation Shift have in Common C ORRECTED 12 AUG 2010

Add to Reading List

Source URL: www.cs.bham.ac.uk

Language: English - Date: 2010-08-12 10:34:41
76Jan Bergstra / Process calculus / Algebra of Communicating Processes / Abstract algebra / Computer science / Communicating sequential processes / Algebraic logic / Axiom / Algebra / Process calculi / Computing / Software

doi:[removed]j.entcs[removed]

Add to Reading List

Source URL: www.win.tue.nl

Language: English - Date: 2007-09-04 04:02:48
77Flip-flop / Contamination delay / Sequential logic / Static timing analysis / Propagation delay / Clock signal / Signal edge / Scan chain / Verilog / Electronic engineering / Digital electronics / Electronics

PDF Document

Add to Reading List

Source URL: www.nileshgoel.com

Language: English - Date: 2011-09-14 04:00:01
78Applied mathematics / Logic in computer science / Formal verification / BCS-FACS / Model checking / Communicating sequential processes / Formal specification / Abstraction / Steve Reeves / Formal methods / Theoretical computer science / Computing

PDF Document

Add to Reading List

Source URL: www.bcs.org

Language: English - Date: 2011-01-10 14:17:10
79Logic gates / Digital electronics / Computer memory / Flip-flop / Tencent QQ / Inverter / Sequential logic / Static random-access memory / Latch / Electronic engineering / Electrical engineering / Electronics

PDF Document

Add to Reading List

Source URL: poppy.snu.ac.kr

Language: English
80Process calculi / Logic in computer science / Concurrent computing / Programming language semantics / Communicating sequential processes / Models of computation / Denotational semantics / Divergence / Model checking / Theoretical computer science / Computing / Computer science

PDF Document

Add to Reading List

Source URL: web.comlab.ox.ac.uk

Language: English
UPDATE